A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information
نویسندگان
چکیده
A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information Vahid Garousi, Lionel C. Briand and Yvan Labiche ‡ Carleton University Department of Systems and Computer Engineering Software Quality Engineering Laboratory 1125 Colonel By Drive Ottawa, ON K1S5B6, Canada {vahid, briand, labiche}@sce.carleton.ca § Simula Research Laboratory Department of Software Engineering Martin Linges v 17, Fornebu P.O.Box 134, 1325 Lysaker, Norway [email protected]
منابع مشابه
A Quantitative Framework for Predicting Resource Usage and Load in Real-Time Systems based on UML Models
This paper presents a quantitative framework for predicting resource usage and load in Real-Time Systems (RTS). The prediction is based on an analysis of UML 2.0 sequence diagrams, augmented with timing information, to extract timed-control flow information. It is aimed at improving the predictability of a RTS by offering a systematic approach to predict system behavior in each time instant dur...
متن کاملA UML-Based Design Methodology for Real-Time and Embedded Systems
The fast growing complexity of today's real time embedded systems necessitates new design methods and tools to face the problems of design, analysis, integration and validation of complex systems. We present a system level design method for embedded real time systems combining the informal strengths of UML with the formal strengths of SDL. We demonstrate our flow by the design example of a tele...
متن کاملModel Driven Development of Process Control Systems Using Uml Profiles Marte and Sysml
Development of effective software application for real-time and embedded systems requires new advanced methods and techniques. This paper presents a model driven approach for development of process control systems based on the UML profile for system engineering – SysML and MARTE profile for analysis and modeling of real-time systems. The suggested approach is illustrated with a simple example f...
متن کاملProgressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
Process networks and data-flow graphs are used to capture datadependencies in computation-intensive embedded systems. Their simplicity allows the computation of static schedules that reduce the dynamic overhead and increase predictability. The resulting schedule is a total ordering of actor computations and communications. It can therefore become an over-specification of the initial system when...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005